Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
91	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory
92	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands A Veried Compiler for VLISP PreScheme Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Logic in computer science Programming language semantics PreScheme Scheme programming language Compiler construction Denotational semantics Scheme 48 Compiler Operational semantics Software engineering Computing Computer programming
93	A Veried Compiler for Multithreaded PreScheme 1 William M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics PreScheme Scheme programming language Denotational semantics Operational semantics System programming language Compiler Programming language Software engineering Computing Programming language theory
94	Shift to control Chung-chieh Shan Harvard University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Continuations Lambda calculus Control flow Recursion Delimited continuation Programming language semantics Continuation-passing style Continuation Call-with-current-continuation Software engineering Computer programming Computing
95	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY A.I. Technical Report NoOctober, 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:37 Programming paradigms Abstraction Scheme Procedural programming Denotational semantics Id Pascal SQL ACT-R Computing Software engineering Programming language theory
96	Distance Makes the Types Grow Stronger: A Calculus for Diﬀerential Privacy (Extended Version) Jason Reed∗ Benjamin Pierce Add to Reading List Source URL: privacy.cis.upenn.edu Language: English - Date: 2012-01-30 20:07:59 Mathematical analysis Symbol Continuous function Valuation Programming language semantics Orbifold Normalisation by evaluation Abstract algebra Mathematics Algebraic geometry
97	A Guide to VLISP, A Veried Programming Language Implementation J. D. Guttman L. G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Procedural programming languages Programming language implementation Logic in computer science PreScheme Scheme programming language Compiler construction Programming language Compiler Denotational semantics Software engineering Computing Programming language theory
98	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science
99	A Mechanized Semantics for C++ Object Construction and Destruction with Applications to Resource Management Tahina Ramananandro1 Gabriel Dos Reis2 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-27 12:05:16 Method C++ Object-oriented programming Resource Acquisition Is Initialization C programming language Destructor Struct Constructor C++ classes Computer programming Software engineering Computing
100	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science

UPDATE